David Schmidt (eds.)：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (39)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

年:

2002

语言:

english

文件:

PDF, 4.61 MB

0 / 0

english, 2002

2

Image-Guided IMRT

Image-Guided IMRT

Springer Berlin Heidelberg

Wilfried De Neve (auth.), Thomas Bortfeld, Rupert Schmidt-Ullrich, Wilfried De Neve, David E. Wazer (eds.)

年:

2006

语言:

english

文件:

PDF, 14.04 MB

0 / 0

english, 2006

3

Reduction in Science: Structure, Examples, Philosophical Problems

Reduction in Science: Structure, Examples, Philosophical Problems

Springer Netherlands

Wolfgang Balzer, David Pearce, Heinz-Jürgen Schmidt (auth.), Wolfgang Balzer, David A. Pearce, Heinz-Jürgen Schmidt (eds.)

年:

1984

语言:

english

文件:

PDF, 11.96 MB

0 / 0

english, 1984

4

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

年:

2011

语言:

english

文件:

PDF, 5.01 MB

0 / 0

english, 2011

5

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

年:

2004

语言:

english

文件:

PDF, 8.33 MB

0 / 0

english, 2004

6

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

年:

2008

语言:

english

文件:

PDF, 16.55 MB

0 / 0

english, 2008

7

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

年:

2004

语言:

english

文件:

PDF, 3.71 MB

0 / 0

english, 2004

8

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

年:

1992

语言:

english

文件:

DJVU, 4.91 MB

0 / 0

english, 1992

9

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Research and Education in Robotics - EUROBOT 2009: International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Kalman Babković, László Nagy, Damir Krklješ (auth.), Achim Gottscheber, David Obdržálek, Colin Schmidt (eds.)

年:

2010

语言:

english

文件:

PDF, 5.88 MB

0 / 0

english, 2010

10

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Schmidt (auth.), Alan Mycroft (eds.)

年:

1995

语言:

english

文件:

DJVU, 4.09 MB

0 / 0

english, 1995

11

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

年:

2012

语言:

english

文件:

PDF, 5.57 MB

0 / 0

english, 2012

12

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

R. C. Hardie (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

年:

1985

语言:

english

文件:

PDF, 6.88 MB

0 / 0

english, 1985

13

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Peter W. O’Hearn (auth.), David Schmidt (eds.)

年:

2004

语言:

english

文件:

PDF, 3.97 MB

0 / 0

english, 2004

14

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Martijn H. Vastenburg, Thomas Visser, Marieke Vermaas, David V. Keyson (auth.), Emile Aarts, James L. Crowley, Boris de Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert (eds.)

年:

2008

语言:

english

文件:

PDF, 74.10 MB

0 / 0

english, 2008

15

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)

年:

2012

语言:

english

文件:

PDF, 5.79 MB

0 / 0

english, 2012

16

Planetary Astrobiology

Planetary Astrobiology

University of Arizona Press

Victoria Meadows, Giada Arney, Britney Schmidt, David J. Des Marais (eds.)

年:

2020

语言:

english

文件:

PDF, 40.51 MB

0 / 0

english, 2020

17

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

年:

2002

语言:

english

文件:

PDF, 3.25 MB

0 / 0

english, 2002

18

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Biological Interactions on Materials Surfaces: Understanding and Controlling Protein, Cell, and Tissue Responses

Springer-Verlag New York

David Richard Schmidt, Heather Waldeck (auth.), David A. Puleo, Rena Bizios (eds.)

年:

2009

语言:

english

文件:

PDF, 2.10 MB

0 / 0

english, 2009

19

Query Processing in Database Systems

Query Processing in Database Systems

Springer-Verlag Berlin Heidelberg

Matthias Jarke, Jürgen Koch, Joachim W. Schmidt (auth.), Dr. Won Kim, Dr. David S. Reiner, Dr. Don S. Batory (eds.)

年:

1985

语言:

english

文件:

PDF, 22.25 MB

0 / 0

english, 1985

20

Socio-technical Design of Ubiquitous Computing Systems

Socio-technical Design of Ubiquitous Computing Systems

Springer International Publishing

Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker (eds.)

年:

2014

语言:

english

文件:

PDF, 8.67 MB

0 / 0

english, 2014

21

Designing Socially Embedded Technologies in the Real-World

Designing Socially Embedded Technologies in the Real-World

Springer-Verlag London

Volker Wulf, Kjeld Schmidt, David Randall (eds.)

年:

2015

语言:

english

文件:

PDF, 7.11 MB

0 / 0

english, 2015

22

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Diophantine Approximation: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 – July 6, 2000

Springer-Verlag Berlin Heidelberg

David Masser, Yuri V. Nesterenko, Hans Peter Schlickewei, Wolfgang Schmidt, Michel Waldschmidt (auth.), Francesco Amoroso, Umberto Zannier (eds.)

年:

2003

语言:

english

文件:

PDF, 2.58 MB

0 / 0

english, 2003

23

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Enterprise, Business-Process and Information Systems Modeling: 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Petia Wohed, David Truffet, Gustaf Juell-Skielse (auth.), Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider (eds.)

年:

2011

语言:

english

文件:

PDF, 10.78 MB

0 / 0

english, 2011

24

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Integralgleichungen und Gleichungen mit unendlich vielen Unbekannten

Springer Vienna

David Hilbert, Erhard Schmidt (auth.), Albrecht Pietsch (eds.)

年:

1989

语言:

german

文件:

PDF, 16.20 MB

0 / 0

german, 1989

25

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

年:

2002

语言:

english

文件:

PDF, 2.30 MB

0 / 0

english, 2002

26

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

T. B. van Wimersma Greidanus, A. B. Grossman (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

年:

1991

语言:

english

文件:

PDF, 9.78 MB

0 / 0

english, 1991

27

The Essence of Computation: Complexity, Analysis, Transformation

The Essence of Computation: Complexity, Analysis, Transformation

Springer-Verlag Berlin Heidelberg

Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)

年:

2002

语言:

english

文件:

PDF, 4.92 MB

0 / 0

english, 2002

28

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

年:

1994

语言:

english

文件:

DJVU, 5.58 MB

0 / 0

english, 1994

29

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

年:

2009

语言:

english

文件:

PDF, 5.50 MB

0 / 0

english, 2009

30

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

年:

2009

语言:

english

文件:

PDF, 5.45 MB

0 / 0

english, 2009

31

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software

Springer-Verlag Berlin Heidelberg

David A. Bader, Bernard M. E. Moret, Peter Sanders (auth.), Rudolf Fleischer, Bernard Moret, Erik Meineche Schmidt (eds.)

年:

2002

语言:

english

文件:

PDF, 3.74 MB

0 / 0

english, 2002

32

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)

年:

1996

语言:

english

文件:

DJVU, 5.74 MB

0 / 0

english, 1996

33

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

N. Mei (auth.), Professor Dr. David Ottoson, Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

年:

1983

语言:

english

文件:

PDF, 7.83 MB

0 / 0

english, 1983

34

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

年:

2009

语言:

english

文件:

PDF, 4.74 MB

0 / 0

english, 2009

35

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)

年:

2011

语言:

english

文件:

PDF, 7.68 MB

0 / 0

english, 2011

36

Progress in Sensory Physiology 9

Progress in Sensory Physiology 9

Springer-Verlag Berlin Heidelberg

R. D. Foreman (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis, Professor Dr. David Ottoson (eds.)

年:

1989

语言:

english

文件:

PDF, 6.33 MB

0 / 0

english, 1989

37

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

G. Westheimer (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. Eduard Roy Perl, Professor Dr. Robert F. Schmidt, Professor Dr. David Ottoson (eds.)

年:

1981

语言:

english

文件:

PDF, 6.86 MB

0 / 0

english, 1981

38

Progress in Sensory Physiology 6

Progress in Sensory Physiology 6

Springer-Verlag Berlin Heidelberg

T. Sato (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

年:

1986

语言:

english

文件:

PDF, 17.52 MB

0 / 0

english, 1986

39

Progress in Sensory Physiology

Progress in Sensory Physiology

Springer-Verlag Berlin Heidelberg

W. Skrandies (auth.), Professor Dr. Hansjochem Autrum, Professor Dr. David Ottoson, Professor Dr. Edward R. Perl, Professor Dr. Robert F. Schmidt, Professor Dr. Hiroshi Shimazu, Professor Dr. William D. Willis (eds.)

年:

1987

语言:

english

文件:

PDF, 4.82 MB

0 / 0

english, 1987